10

On the Formalization of Gamma Function in HOL

Année:
2014
Langue:
english
Fichier:
PDF, 396 KB
english, 2014
16

On the formal analysis of Gaussian optical systems in HOL

Année:
2016
Langue:
english
Fichier:
PDF, 1.55 MB
english, 2016
21

Formal verification of stability and chaos in periodic optical systems

Année:
2017
Langue:
english
Fichier:
PDF, 561 KB
english, 2017
23

Formal reasoning about systems biology using theorem proving

Année:
2017
Langue:
english
Fichier:
PDF, 5.88 MB
english, 2017
29

Remanufacturing for Sustainable Development

Année:
2019
Langue:
english
Fichier:
PDF, 528 KB
english, 2019